Inconsistency arises in many areas in advanced computing. Often inconsistency is unwanted, for example in the specification ...